Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
81	Productivity and Firm Selection: Quantifying the “New” Gains from Trade.∗ Gregory Corcos, Massimo Del Gatto, Giordano Mion, and Gianmarco I.P. Ottaviano This paper replaces for all publication purposes the two manu Add to Reading List Source URL: gregory.corcos.free.fr Language: English - Date: 2011-05-04 08:42:34 Competition Game theory International trade Oligopoly Macroeconomics Computable general equilibrium Heckscher–Ohlin model Labour economics Perfect competition Economics Business Logic
82	Christian Grothoff FSEM 1111 Computer Security – from a Free Software Perspective Christian Grothoff Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:42 Infinity Number Mathematics Counting Mathematical logic
83	Curriculum Vitae et Studiorum Diego Calvanese April 2015 Short Bio Diego Calvanese is a full professor at the KRDB Research Centre for Knowledge and Data, Free University Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2015-04-12 22:06:02 Science Knowledge Semantic Web Knowledge engineering Technical communication Free University of Bozen-Bolzano Description logic Framework Programmes for Research and Technological Development Information science Information Ontology
84	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
85	Braziers Park Quarterly NUMBER EIGHT WINTER, published by Add to Reading List Source URL: www.braziers.org.uk Language: English - Date: 2012-04-02 19:00:00 Philosophy of life Political philosophy Truth Veracity Free will Hegelianism Science of Logic Philosophy Theology Metaphysics
86	BRICS RSBrabrand et al.: Analyzing Ambiguity of Context-Free Grammars BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-06-01 10:26:55 Logic Context-free grammar Ambiguous grammar Formal grammar Parsing LL parser CYK algorithm Terminal and nonterminal symbols Parsing expression grammar Formal languages Software engineering Grammar
87	JMLR: Workshop and Conference Proceedings 34:139–152, 2014 Proceedings of the 12th ICGI Grammatical Inference of some Probabilistic Context-Free Grammars from Positive Data using Minimum Satisfiability Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Grammar Context-free grammar Stochastic context-free grammar Chomsky normal form Formal grammar CYK algorithm LL parser Regular language Grammar induction Formal languages Linguistics Logic
88	Yosys - A Free Verilog Synthesis Suite Clifford Wolf, Johann Glaser† Johannes Kepler University, Austria Institute for Integrated Circuits , † Add to Reading List Source URL: www.clifford.at Language: English - Date: 2013-10-11 16:34:33 Electronic design Integrated circuits Verilog Field-programmable gate array Standard cell Application-specific integrated circuit Logic synthesis High-level synthesis VHDL Electronic engineering Electronic design automation Hardware description languages
89	JMLR: Workshop and Conference Proceedings 34:153–166, 2014 Proceedings of the 12th ICGI Inferring (k, l)-context-sensitive probabilistic context-free grammars using hierarchical Pitman-Yor processes Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Probability Context-free grammar Stochastic context-free grammar Formal grammar Gibbs sampling Terminal and nonterminal symbols Conditional probability Controlled grammar Earley parser Formal languages Logic Grammar
90	Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2010-08-16 15:28:31 Logi Realizability Mathematics Logic Abstraction Linear temporal logic Temporal logic Free variables and bound variables

UPDATE